1. Applied nonstandard analysis
پدیدآورنده: Martin Davis,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Nonstandard mathematical analysis
رده :
QA
.
D38
299
.
82
2. Computability
پدیدآورنده: Martin Davis,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Recursive functions,Unsolvability )Mathematical logic(,Computable functions
رده :
QA
.
D38
9
.
615
1982
3. Computability, complexity, and languages
پدیدآورنده: Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
4. Practical injection molding
پدیدآورنده: Bernie A. Olmsted, Martin E. Davis,Title,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Injection molding of plastics
رده :
TP
.
O47
1150
2001
